|
In mathematics, specifically in combinatorial commutative algebra, a convex lattice polytope ''P'' is called normal if it has the following property: given any positive integer ''n'', every lattice point of the dilation ''nP'', obtained from ''P'' by scaling its vertices by the factor ''n'' and taking the convex hull of the resulting points, can be written as the sum of exactly ''n'' lattice points in ''P''. This property plays an important role in the theory of toric varieties, where it corresponds to projective normality of the toric variety determined by ''P''. Normal polytopes have popularity in algebraic combinatorics. These polytopes also represent the homogeneous case of the Hilbert bases of finite positive rational cones and the connection to algebraic geometry is that they define projectively normal embeddings of toric varieties. ==Definition== Let ''P'' ⊂ ℝ''d'' be a lattice polytope. Denote the affine lattice in ℤ''d'' generated by the lattice points in ''P'' by ''L'': : where ''v'' is some lattice point in ''P''. P is integrally closed if the following condition is satisfied: : such that . ''P'' is normal if the following condition is satisfied: : such that . The normality property is invariant under affine-lattice isomorphisms of lattice polytopes and the integrally closed property is invariant under an affine change of coordinates. Note sometimes in combinatorial literature the difference between normal and integrally closed is blurred. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Normal polytope」の詳細全文を読む スポンサード リンク
|